#include <rt_thread.h>
#include <rt_hw.h>
#include "rt_config.h"
#include "rt_scheduler.h"
// #define IDLE_THREAD_STACK_SIZE      512

// ALIGN(RT_ALIGN_SIZE)
// static rt_uint8_t rt_thread_stack[IDLE_THREAD_STACK_SIZE];

// /* 空闲线程的线程控制块 */
// struct rt_thread idle;
// rt_ubase_t  rt_idletask_ctr = 0;

// static void rt_thread_idle_entry(void *parameter)
// {
//     parameter = parameter;
//     while (1)
//     {
//         rt_idletask_ctr ++;
//     }
// }

// void rt_thread_idle_init(void)
// {

//     /* 初始化线程 */     
//     rt_thread_init(&idle,
//                 // "idle",
//                 rt_thread_idle_entry,
//                 RT_NULL,
//                 &rt_thread_stack[0],
//                 sizeof(rt_thread_stack));

//     /* 将线程插入到就绪列表 */     
//     rt_list_insert_before( &(rt_thread_priority_table[RT_THREAD_PRIORITY_MAX-1]),&(idle.tlist) );
// }


// void rt_thread_delay(rt_tick_t tick)
// {
//     struct rt_thread *thread;

//     /* 获取当前线程的线程控制块 */
//     thread = rt_current_thread;    
//     /* 设置延时时间 */
//     thread->remaining_tick = tick;    
//     /* 进行系统调度 */
//     rt_schedule();                   
// }